Binary tree - PDFSEARCH.IO - Document Search Engine

Binary tree
Results: 953

#	Item
151	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
152	Delays Induce an Exponential Memory Gap for Rendezvous in Trees ∗ Pierre Fraigniaud Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2010-04-12 08:39:01 Data management Computing Tango tree Ternary tree Binary trees Graph theory B-tree
153	Verifying Linearizability with Hindsight Peter W. O’Hearn Noam Rinetzky Martin T. Vechev Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-09-22 11:42:03 Transaction processing Tree Linked list Data management Mathematics Binary trees Concurrency control Computing Linearizability
154	Plan Generator Nga Tran June 28, 2005 Overview Add to Reading List Source URL: db.csail.mit.edu Language: English - Date: 2005-07-06 22:01:58 B* Mathematics Information science Decomposition method Binary tree Artificial intelligence Knowledge representation Tree
155	Distributed Collaborative Key Agreement Protocols for Dynamic Peer Groups Patrick P. C. Lee Department of Computer Science & Engineering The Chinese University of Hong Kong Add to Reading List Source URL: www.cs.cuhk.hk Language: English - Date: 2004-06-11 06:27:45 Locksmithing Rekeying R-tree B-tree Key distribution Diffie–Hellman key exchange Public-key cryptography Self-balancing binary search tree Tree Cryptography Cryptographic protocols Binary trees
156	Revisiting Example Dependent Cost-Sensitive Learning with Decision Trees Oisin Mac Aodha Gabriel J. Brostow University College London http://visual.cs.ucl.ac.uk/pubs/costSensitive Add to Reading List Source URL: visual.cs.ucl.ac.uk Language: English - Date: 2013-10-13 13:11:56 Statistical classification Decision trees Data mining Ensemble learning Decision tree learning Random forest Support vector machine Binary classification Feature Statistics Machine learning Artificial intelligence
157	An Upper Bound on Checking Test Complexity for Almost All Cographs Oleg V. Zubkov Department of Computer Science East-Siberian State Academy of Education Irkutsk, Russia Email: Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-02-11 10:36:14 FO Binary tree Circuit Path decomposition Tango tree Graph theory Theoretical computer science Cograph
158	Tree Exploration with Advice Pierre Fraigniaud†¶ David Ilcinkas‡¶ ∗ Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2008-03-20 13:54:45 Binary trees Spanning tree Combinatorial optimization Routing algorithms Search algorithms Tree traversal Minimum spanning tree B-tree Tree Graph theory Mathematics Combinatorics
159	Universal Augmentation Schemes Navigability: √ for Network ∗ Overcoming the n-Barrier Pierre Fraigniaud Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2007-02-16 13:50:20 Network theory Distributed data storage Tree decomposition Path decomposition Shortest path problem Chord Binary tree Graph Centrality Graph theory Mathematics Theoretical computer science

UPDATE